Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
611	Outdoor Recreation Trends in South East Queensland Add to Reading List Source URL: www.npsr.qld.gov.au Language: English - Date: 2012-07-12 01:28:53
612	Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-31 02:23:26 Software engineering Formal methods Constraint programming Logic in computer science Logic programming Solver Formal verification Synthesizer Model checking Applied mathematics Theoretical computer science Programming paradigms
613	AGH University of Science and Technology in Krakow M.Sc. Thesis Constraint Programming for Stochastic Problems Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2009-12-10 18:18:51 Computing Constraint satisfaction Constraint optimization Local consistency Mathematical optimization Linear programming Logic programming Backtracking Constraint logic programming Constraint programming Software engineering Computer programming
614	Cologne: A Declarative Distributed Constraint Optimization Platform Changbin Liu∗ ∗ University Lu Ren∗ Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:31 Constraint programming Operations research Mathematical optimization Numerical software Mathematical modeling Datalog Prolog Constraint optimization Solver Software engineering Computer programming Computing
615	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
616	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
617	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
618	PS YC HOLOGICA L SC IENCE Research Article How Many Variables Can Humans Process? Add to Reading List Source URL: www.psychologicalscience.org Language: English - Date: 2005-04-05 11:19:44 Constraint programming Cognitive science Creativity Dyslexia Problem solving Working memory Complexity Psychology Computational complexity theory Science Ethology Behavior
619	A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning∗ Jimmy H.M. Lee Dept of Computer Science & Engineering The Chinese University of Hong Kong Shatin, N.T., Hong Kong Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:59 Distributed constraint optimization Mathematical optimization Computing Identity management Social issues Internet privacy Privacy DCOP Aggregation Ethics Mathematics Constraint programming
620	Microsoft Word - IAAI2000 HA _Final_.doc Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 01:38:13 Computing Constraint satisfaction Nursing in the United Kingdom Constraint logic programming Local consistency Dispatch ILOG Scheduling Constraint programming Software engineering Computer programming

UPDATE